Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
791	227 ARTIFICIAL INTELLIGENCE Linear Resolution with Selection Function Robert Kowalski and Donald Kuehnm Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-12-18 06:42:49 Automated theorem proving Rules of inference Resolution Logic programming Propositional calculus First-order logic Derivation SLD resolution SL Logic Mathematical logic Theoretical computer science
792	On Kubota’s Dirichlet Series Ben Brubaker and Daniel Bump March 8, 2006 Kubota [19] showed how the theory of Eisenstein series on the higher metaplectic covers of SL2 (which he discovered) can be used to study the anal Add to Reading List Source URL: sporadic.stanford.edu Language: English - Date: 2011-06-09 18:39:10 Symbol Dirichlet series Series Constructible universe Algebraic number field Operator theory Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Abstract algebra Mathematics
793	Wandering through linear types, capabilities, and regions Franc¸ois Pottier May 24th, 2007 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-21 03:24:28 Logic Linear type system Linear Uniqueness type Cyclone Type system Type theory Programming language theory Mathematics
794	From Verification to Synthesis Moshe Y. Vardi Rice University Verification Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-06-14 03:05:34 Linear temporal logic Formal languages Amir Pnueli Model checking Well-formed formula Function Logic Mathematics Temporal logic
795	Concentration of non-Lipschitz functions and applications V. H. Vu ∗ October 19, 2001 Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2003-07-07 12:45:54 Lipschitz continuity Combinatory logic Martingale Derivative Differential equation Itō diffusion Theorems and definitions in linear algebra Mathematical analysis Mathematics Calculus
796	SELF-SIMILAR AND SOLITARY WAVE SOLUTIONS WITH RING PROFILES OF ¨ TWO-COMPONENT NONLINEAR SCHRODINGER SYSTEMS Add to Reading List Source URL: ima.umn.edu Language: English - Date: 2011-10-06 10:33:30 Linear temporal logic Temporal logic Mathematical logic Symbol Mathematical analysis Mathematics Operator theory
797	APPLIED MATHEMATICS & COMPUTATIONAL SCI. (AS) {AMCS} 510. (MATH410) Complex Analysis[removed]MATH420) Ord Differential Equat[removed]MATH425) Partial Dif Equations[removed]MATH430) Intro to Probability. Add to Reading List Source URL: www.upenn.edu Language: English - Date: 2013-08-23 13:09:52 Functional analysis Hilbert space Mathematical analysis Spectral theory Mathematical logic Real analysis Partial differential equation Group theory Harmonic analysis Algebra Mathematics Linear algebra
798	[removed]Groups with a Complemented Presentation Patrick DEHORNOY ABSTRACT. Let G be a group given by a presentation. We study the decomposition of the elements Add to Reading List Source URL: www.math.unicaen.fr Language: English - Date: 2005-09-07 10:00:16 Mathematical logic Congruence lattice problem Functional analysis Projection linear algebra
799	Linear-time algorithms for Monadic Logic Steven Lindell Haverford College, Department of Computer Science Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:22 Logic Mathematical structures Graph theory First-order logic Predicate logic Monad Structure Graph Robertson–Seymour theorem Mathematics Mathematical logic Model theory
800	Linear-time algorithms for Monadic Logic Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:23 Predicate logic Model theory Philosophical logic Semantics Algebraic structures First-order logic FO Logical connective Quantification Logic Mathematical logic Mathematics

UPDATE